1. A Decade of Concurrency Reflections and Perspectives :
المؤلف: edited by J.W. Bakker, W.-P. Roever, G. Rozenberg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.
2. Autonomous Systems :
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Automation.,Computer science.,Engineering.,Operating systems (Computers),Software engineering.,Structural control (Engineering),Artificial intelligence.,Automation.,Automation.,Computer science.,Engineering.,Ingénierie.,Intelligent control systems.,Operating systems (Computers),Software engineering.,Structural control (Engineering)
رده :
Q334
.
A98
2008
3. Compiler Technology
المؤلف: by Derek Beng Kee Kiong.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.
4. Cooperating Heterogeneous Systems
المؤلف: by David G. Schwartz.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Operating systems (Computers),Software engineering.
5. Die 32-Bit-Expedition:
المؤلف: von Thomas Lauer.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
76
.
O63
V668
1993
6. Die Schnittstellen von UNIX-Programmen :
المؤلف: von Reinhard Fößmeier.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
8
.
U65
V667
1991
7. Die X/Motif Umgebung :
المؤلف: von Robert Barton.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.
رده :
TK7874
.
6
V667
1994
8. Echtzeitaspekte bei der Koordinierung Autonomer Systeme
المؤلف: Peter Holleczek, Birgit Vogel-Heuser (Hrsg.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer networks.,Computer science.,Operating systems (Computers),Software engineering.
9. Euro-Par 2011 Parallel Processing
المؤلف: edited by Emmanuel Jeannot, Raymond Namyst, Jean Roman.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Electronic data processing.,Operating systems (Computers),Software engineering.
10. Exploring the Raspberry Pi 2 with C++
المؤلف:
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.,Computer Science.,Operating Systems.,Software Engineering.
رده :
QA76
.
758
11. Formal techniques for distributed systems :
المؤلف: Holger Giese, Grigore Rosu (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Distributed operating systems (Computers) -- Congresses.,Formal methods (Computer science) -- Congresses.,software engineering.
12. Keine Angst vor UNIX/Linux :
المؤلف: von Christine Wolfinger.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.
13. Keine Angst vor UNIX/Linux :
المؤلف: von Christine Wolfinger.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.
14. Languages and Compilers for Parallel Computing :
المؤلف: edited by Hironori Kasahara, Keiji Kimura.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
58
E358
2013
15. Linux- und Open-Source-Strategien
المؤلف: Thorsten Wichmann.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Information resources management.,Operating systems (Computers),Software engineering.
16. Mac OS X Tiger :
المؤلف: Rafael Kobylinski.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
76
.
O63
R343
2006
17. NASA Formal Methods :
المؤلف: edited by Guillaume Brat, Neha Rungta, Arnaud Venet.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
9
.
F67
E358
2013
18. Object-Based Models and Languages for Concurrent Systems :
المؤلف: edited by Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
64
E358
1995
19. Object Technologies for Advanced Software :
المؤلف: edited by Shojiro Nishio, Akinori Yonezawa.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
64
E358
1993
20. PRODIA und PRODAT :
المؤلف: herausgegeben von Detlef Krömker, Hartwig Steusloff, Hans-Peter Subel.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
9
.
Q4
H473
1989
